Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules
نویسندگان
چکیده
Delta abstractions are introduced as a mechanism for managing database states during the execution of active database rules. Delta abstractions build upon the use of object deltas, capturing changes to individual objects through a system-supported, collapsible type structure. The object delta structure is implemented using object-oriented concepts such as encapsulation and inheritance so that all database objects inherit the ability to transparently create and manage delta values. Delta abstractions provide an additional layer to the database programmer for organizing object deltas according to different language components that induce database changes, such as methods and active rules. As with object deltas, delta abstractions are transparently created and maintained by the active database system. We define different types of delta abstractions as views of object deltas and illustrate how the services of delta abstractions can be used to inspect the state of active rule execution. An active rule analysis and debugging tool has been implemented to demonstrate the use of object deltas and delta abstractions for dynamic analysis of active rules at runtime.
منابع مشابه
TriGS Debugger - A Tool for Debugging Active Database Behavior
Active database systems have been developed since several years and represent a powerful means to respond automatically to events that are taking place inside or outside the database. However, one of the main stumbling blocks for their widespread use is the lack of proper tools for the verification of active database behavior. This paper copes with this need by presenting TriGS Debugger, a tool...
متن کاملAbstractions and Pattern Databases: The Quest for Succinctness and Accuracy
ions and Pattern Databases: The Quest for Succinctness and Accuracy Sebastian Kupferschmid and Martin Wehrle University of Freiburg Department of Computer Science Freiburg, Germany {kupfersc,mwehrle}@informatik.uni-freiburg.de Abstract. Directed model checking is a well-established technique for detecting error states in concurrent systems efficiently. As error traces are important for debuggin...
متن کاملVisual Active Rule Language
This paper introduces a visual language for active database systems. We present a new approach to database programming based on visual active language that allows us to describe active rules in a graphical way. The resulting visual language can be transformed into a textual one. In addition, an active system can be represented with several di erent graphs showing the interactions of rules and t...
متن کاملVisual Rule Language for ActiveDatabase
This paper introduces a visual language for active database systems. We present a new approach to database programming based on visual active language that allows us to describe active rules in a graphical way. The resulting visual language can be transformed into a textual one. In addition, an active system can be represented with several diierent graphs showing the interactions of rules and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE Trans. Knowl. Data Eng.
دوره 15 شماره
صفحات -
تاریخ انتشار 2003